c formula generated with seed 2, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.408571
c the planted solution is {1, 3, 6, 7, 9, 10, 11, 14, 16, 17, 19, 20, 23, 24, 25, 30, 32, 33, 34, 35, 38, 41, 43, 44, 48, 49, 50, 52, 53, 55, 56, 58, 59, 61, 62, 63, 66, 70, 71, 72, 74, 75, 80, 84, 92, 93, 95, 96, 98, 99, 100, 101, 106, 108, 111, 112, 117, 118, 119, 123, 124, 125, 126, 128, 129, 132, 134, 136, 137, 138, 140, 141, 143, 145, 146, 147, 148, 150, 151, 152, 154, 155, 156, 161, 162, 165, 166, 168, 169, 170, 171, 172, 173, 176, 177, 178, 182, 183, 184, 186, 187, 189, 191, 192, 193, 196, 198, 201, 202, 203, 204, 205, 210, 211, 212, 213, 216, 218, 221, 223, 225, 229, 231, 232, 233, 234, 236, 238, 239, 240, 242, 244, 245, 247, 248, 251, 252, 253, 254, 256, 259, 260, 263, 265, 269, 270, 274, 279, 280, 286, 288, 290, 291, 292, 293, 294, 297, 298, 299, 306, 308, 309, 310, 312, 314, 315, 316, 317, 321, 322, 325, 326, 334, 336, 343, 344, 345}
p cnf 350 1543
-193 -89 -294 0
-22 136 3 0
272 205 82 0
264 249 -296 0
-14 242 157 0
-304 -65 248 0
299 211 -109 0
209 12 166 0
-339 285 -151 0
-237 -248 -180 0
-271 242 -215 0
93 -200 309 0
217 -160 -19 0
-220 180 81 0
-286 73 345 0
-318 -222 75 0
214 328 10 0
259 -156 45 0
192 -96 -292 0
-329 192 -133 0
-109 -263 295 0
157 126 -74 0
232 42 46 0
-173 257 99 0
-244 -119 74 0
337 250 -219 0
-135 -7 -341 0
235 297 300 0
49 41 74 0
-158 -252 342 0
288 -301 -39 0
-143 182 248 0
-59 -1 168 0
76 -27 319 0
-248 146 -254 0
-323 117 129 0
88 345 264 0
-278 101 -249 0
4 -296 -173 0
226 -284 18 0
-197 -120 216 0
155 61 6 0
338 248 -161 0
-241 -147 342 0
-273 166 -135 0
72 248 -285 0
315 100 -323 0
-310 219 -179 0
335 13 212 0
-230 -178 127 0
269 253 75 0
234 7 -51 0
-168 33 -59 0
182 250 258 0
-120 -54 59 0
-18 -241 -222 0
-185 -42 212 0
178 -271 -267 0
-324 -146 174 0
56 -177 -189 0
302 -141 187 0
63 114 94 0
-45 66 -265 0
-291 18 -167 0
42 -291 132 0
-16 104 173 0
-212 125 -234 0
241 260 -154 0
160 -44 -268 0
-163 -193 296 0
-346 188 -30 0
310 -221 -1 0
-107 -64 143 0
138 -293 350 0
60 118 203 0
-334 260 131 0
26 -150 17 0
-75 -148 112 0
112 166 -47 0
162 -73 38 0
-350 310 -257 0
-124 -5 18 0
-133 -84 158 0
-268 -256 8 0
22 269 -44 0
25 235 127 0
137 34 172 0
-186 79 -209 0
-135 -266 204 0
190 311 -333 0
131 -35 -246 0
-319 -318 92 0
141 230 255 0
-287 128 111 0
-280 2 -329 0
198 -93 81 0
151 -139 55 0
160 -41 -47 0
58 -289 125 0
-234 -93 -283 0
322 -227 -305 0
-104 -301 -97 0
274 -255 280 0
-164 314 17 0
215 93 -55 0
265 -22 34 0
-126 73 -335 0
191 134 52 0
-21 -36 97 0
-238 234 261 0
302 -33 -181 0
320 -200 -293 0
232 240 192 0
-125 41 -257 0
75 79 -145 0
202 178 34 0
329 -240 -181 0
-340 197 -96 0
102 205 -183 0
221 289 -61 0
-307 -276 -63 0
197 270 127 0
-85 -20 -55 0
151 16 -47 0
-305 52 -320 0
-82 239 -15 0
-139 -248 81 0
154 19 -243 0
-350 -176 -119 0
-11 -195 -150 0
-190 -57 298 0
94 309 188 0
-289 -9 219 0
-223 -77 116 0
-318 206 37 0
75 -345 45 0
-141 5 111 0
247 -219 128 0
299 -251 -290 0
152 -311 -300 0
-68 -210 -309 0
261 -121 237 0
-312 219 80 0
40 -230 149 0
-37 80 -333 0
94 -133 -325 0
142 177 188 0
15 -34 53 0
6 110 91 0
324 103 -230 0
-85 64 250 0
-281 221 -57 0
-231 48 289 0
97 -113 307 0
-343 204 121 0
-129 29 252 0
135 -222 -247 0
217 34 324 0
-224 115 -14 0
-89 69 -177 0
310 52 41 0
17 236 265 0
281 -253 6 0
-260 -194 319 0
299 -67 -31 0
-47 64 -55 0
19 112 -275 0
186 -75 188 0
1 -22 52 0
313 -249 -298 0
239 -58 -49 0
236 -77 -217 0
103 -241 -185 0
317 -103 -272 0
149 48 -213 0
-150 242 -196 0
-340 148 269 0
-31 72 -27 0
7 209 350 0
-303 -11 -126 0
-79 -178 -125 0
-99 -48 231 0
-319 5 185 0
-68 -350 30 0
137 100 -12 0
258 115 236 0
-161 343 281 0
9 309 -323 0
257 -267 82 0
168 328 194 0
-289 128 -320 0
85 -129 263 0
218 148 -283 0
-203 172 -44 0
-176 -124 234 0
56 -200 -159 0
-227 114 194 0
-86 107 135 0
97 93 152 0
210 -327 -105 0
-61 -132 -332 0
-197 339 255 0
-329 239 -114 0
115 -39 77 0
-160 -146 -174 0
183 -311 292 0
110 -159 13 0
310 -281 221 0
-56 -279 -164 0
204 -175 -22 0
-130 207 -192 0
-305 -265 -166 0
-344 44 265 0
203 -167 106 0
-109 203 223 0
290 90 102 0
-297 13 -27 0
68 -27 339 0
-279 -107 -3 0
-27 264 -132 0
229 303 -247 0
205 -156 296 0
-233 -183 -348 0
231 -145 -248 0
196 45 -251 0
-74 312 121 0
-288 -312 336 0
248 23 -81 0
-23 -142 -326 0
-340 -311 -87 0
-242 181 345 0
193 -226 -173 0
244 122 185 0
-180 -349 -107 0
179 251 97 0
65 -206 153 0
-210 -137 -77 0
266 -142 250 0
-16 -299 -185 0
329 -38 -82 0
132 -4 -311 0
219 154 87 0
177 -268 53 0
214 11 194 0
-154 289 -329 0
226 5 25 0
128 343 -209 0
-260 -106 -350 0
-323 -101 135 0
36 297 -125 0
-310 -338 60 0
-275 -55 -155 0
-259 187 -201 0
157 281 -278 0
-156 125 200 0
280 210 -98 0
-197 46 -52 0
157 -319 120 0
266 -284 227 0
241 50 247 0
-137 -57 153 0
-296 132 162 0
16 314 232 0
-11 243 -88 0
191 -183 -186 0
-37 201 234 0
-104 196 280 0
228 119 -326 0
109 265 107 0
-288 269 -298 0
-216 -293 -300 0
345 168 50 0
240 -36 -131 0
183 -1 109 0
-257 -109 279 0
-216 226 -115 0
152 161 -197 0
15 -287 -143 0
6 -127 -163 0
-255 118 17 0
-29 105 181 0
118 -340 -127 0
-182 251 333 0
56 122 54 0
-240 -236 -197 0
336 216 344 0
300 292 -93 0
-37 120 40 0
-350 327 296 0
349 -241 -215 0
-205 -306 -104 0
-201 287 -249 0
-227 -243 334 0
345 344 -158 0
-53 -240 308 0
-99 68 84 0
67 -295 -126 0
-120 255 273 0
-40 333 -186 0
-42 -14 -223 0
-58 89 -185 0
262 -105 -184 0
-342 -93 -252 0
-319 43 -257 0
-132 -125 240 0
335 -212 59 0
-267 310 172 0
285 211 347 0
91 222 -77 0
208 -24 -185 0
83 303 -304 0
-329 -9 150 0
-226 -191 273 0
-319 -337 182 0
201 -332 -178 0
348 -8 -292 0
213 259 -97 0
-60 -247 -126 0
-40 -134 301 0
57 111 127 0
161 -212 -216 0
-213 -95 44 0
63 170 306 0
128 183 146 0
-195 192 -320 0
-31 349 237 0
161 -219 16 0
-158 53 192 0
298 336 321 0
25 27 -163 0
-234 299 324 0
85 -136 -307 0
-15 -142 -88 0
-270 -117 -135 0
117 -215 286 0
-78 249 -123 0
337 350 -311 0
330 230 -142 0
273 148 -72 0
-228 -130 344 0
268 -228 319 0
-117 -183 -333 0
210 -254 79 0
-6 -280 -195 0
-319 -38 -99 0
-127 -140 230 0
159 129 113 0
-170 341 6 0
-177 -85 -248 0
-270 -288 193 0
151 45 -52 0
307 -291 187 0
156 -74 -181 0
-241 37 307 0
91 -126 58 0
-26 350 -135 0
-312 80 -232 0
60 242 -178 0
-215 -77 201 0
-199 -245 48 0
242 -39 98 0
-16 44 324 0
-226 -97 1 0
-218 -82 -155 0
-313 -331 -64 0
99 260 -175 0
-161 293 153 0
126 171 345 0
-177 128 -269 0
-120 309 7 0
-34 180 59 0
-285 -254 -150 0
158 -236 234 0
-25 -316 -197 0
340 -61 -160 0
232 29 -325 0
328 158 -333 0
96 -332 99 0
-156 -36 88 0
-135 80 -12 0
-255 -303 186 0
-313 -164 238 0
326 -13 286 0
-277 -248 73 0
-233 74 -42 0
-290 21 -214 0
50 130 219 0
-4 -346 -235 0
88 -289 296 0
30 238 -275 0
-217 216 343 0
-346 171 -206 0
2 65 248 0
349 -69 13 0
10 -218 305 0
306 158 97 0
-212 -153 185 0
-70 211 -101 0
-94 -297 -11 0
250 -172 -167 0
-282 212 -180 0
285 331 -346 0
-317 -340 267 0
283 -78 -265 0
-348 271 -201 0
127 50 155 0
54 -207 284 0
334 97 -241 0
-53 -65 -135 0
-146 343 -178 0
276 -194 307 0
-182 275 -153 0
202 -52 271 0
-248 -101 93 0
-266 -117 -297 0
-212 70 -49 0
-255 212 286 0
-177 59 285 0
330 -226 -70 0
-195 -314 -151 0
-69 -297 163 0
331 190 -114 0
-288 -135 349 0
-15 -120 7 0
-101 -8 -240 0
-315 -33 294 0
-283 230 -295 0
294 -50 218 0
-18 -113 251 0
98 -349 225 0
-117 238 -136 0
-34 -277 36 0
258 83 -85 0
122 -52 -267 0
350 -319 230 0
-93 -347 28 0
33 71 -102 0
249 -24 -227 0
320 35 -292 0
-103 -86 118 0
-333 107 -186 0
-2 342 -52 0
-86 -97 55 0
46 291 8 0
-102 89 243 0
345 -61 185 0
244 316 -271 0
74 -93 -102 0
-19 -30 -68 0
-262 -149 252 0
244 223 350 0
120 -168 -76 0
293 -136 -58 0
-52 -45 190 0
-207 -155 -336 0
-274 23 51 0
287 270 195 0
-319 74 270 0
197 275 -29 0
-176 77 312 0
322 27 135 0
-324 288 -287 0
-102 -208 101 0
-288 -88 272 0
-129 108 339 0
-249 -333 33 0
-144 -170 337 0
234 322 -241 0
-102 257 -132 0
-294 207 14 0
275 -43 -78 0
-315 54 -5 0
222 -206 -132 0
-329 293 345 0
-216 232 86 0
-256 -328 341 0
211 20 -133 0
-99 -5 -96 0
7 -132 -202 0
-171 35 -316 0
181 -33 -261 0
-284 -163 -235 0
-75 -188 197 0
-244 -302 89 0
40 -205 -81 0
-53 69 30 0
-61 -82 -92 0
250 -163 21 0
300 -11 270 0
-130 330 -151 0
186 -108 -25 0
-140 -290 -333 0
225 345 -327 0
-26 -270 275 0
-105 269 134 0
-220 -302 -243 0
83 163 -349 0
-6 33 28 0
271 -27 -118 0
-121 -43 68 0
184 235 -169 0
-48 -211 -159 0
-17 216 -75 0
106 77 -146 0
-66 -289 -141 0
343 301 79 0
333 61 -48 0
152 -189 -17 0
-350 104 -309 0
213 -335 138 0
288 -153 251 0
147 -26 -2 0
279 116 -56 0
-149 -23 -129 0
-226 341 208 0
-103 323 304 0
-239 101 -20 0
-283 -3 -168 0
-235 -342 -333 0
-46 -10 -290 0
206 154 335 0
-67 274 -287 0
285 -338 -265 0
206 144 -226 0
-323 15 -292 0
303 -106 -122 0
247 -184 -248 0
-72 -262 249 0
-14 261 61 0
112 130 -10 0
297 293 -42 0
289 -144 -263 0
-140 196 -70 0
-67 -150 -299 0
-91 -162 181 0
-350 29 -297 0
-202 331 201 0
-211 215 218 0
66 39 135 0
-320 105 60 0
-307 273 -14 0
-46 263 -142 0
335 -63 -278 0
315 111 -164 0
129 -164 -349 0
240 143 309 0
280 11 314 0
-236 -148 -197 0
-337 240 -9 0
287 207 254 0
83 -47 -30 0
-224 241 -19 0
120 -81 -38 0
-78 -82 314 0
18 263 -189 0
-349 -247 227 0
-329 -95 175 0
229 334 -323 0
-243 -265 -203 0
343 -203 -63 0
153 -202 343 0
-251 -49 -88 0
31 298 217 0
-169 126 159 0
-340 -60 -107 0
-254 -264 31 0
124 251 126 0
105 -268 -136 0
269 118 306 0
-261 -31 155 0
161 165 -37 0
-265 161 4 0
30 228 149 0
55 -18 136 0
85 -293 -277 0
-215 93 -258 0
-22 -133 -271 0
-188 -110 -22 0
160 209 240 0
-55 -268 -93 0
-221 47 -200 0
190 -270 124 0
135 261 -185 0
-208 -177 -294 0
-167 -176 -265 0
337 61 -10 0
328 -204 118 0
174 -74 -45 0
-58 217 -88 0
-164 -110 242 0
-85 -10 -61 0
-152 185 -133 0
43 -287 23 0
-186 -181 290 0
109 274 237 0
335 -293 310 0
-2 294 236 0
-311 116 -224 0
-205 222 169 0
-25 -32 186 0
-307 -43 21 0
-77 182 -164 0
131 159 84 0
-220 100 -327 0
-189 -217 243 0
89 2 210 0
-124 11 -149 0
-111 -53 171 0
-41 144 62 0
79 35 321 0
112 302 219 0
-120 234 9 0
223 286 196 0
-221 107 299 0
-170 -49 293 0
-202 208 216 0
279 222 -299 0
264 -61 -127 0
99 234 147 0
-140 178 133 0
238 288 -146 0
281 283 141 0
-101 -113 -234 0
95 -19 250 0
14 18 209 0
-92 -4 -299 0
171 174 -325 0
-78 -335 -198 0
140 -143 267 0
-35 271 151 0
-216 -82 282 0
-145 -101 189 0
293 256 -82 0
-209 118 -110 0
1 236 233 0
212 269 -282 0
-140 -40 172 0
-160 -333 -78 0
-42 38 -194 0
-262 -306 -84 0
142 -111 210 0
-257 58 -57 0
90 -324 341 0
117 229 -76 0
46 -341 13 0
19 178 -341 0
322 200 -49 0
277 182 -210 0
-152 138 46 0
-38 -143 44 0
-62 10 121 0
-349 64 -231 0
-235 113 -53 0
217 -169 -199 0
272 -285 341 0
-17 -350 97 0
-170 263 -108 0
-251 125 -305 0
-178 307 -13 0
186 109 -17 0
-74 37 48 0
130 263 83 0
60 -17 265 0
101 290 152 0
-24 239 -346 0
-308 199 172 0
333 -6 -267 0
278 155 174 0
214 -80 71 0
-326 -117 30 0
289 -139 -134 0
142 35 230 0
16 -135 238 0
56 177 -249 0
196 231 95 0
-179 32 156 0
-265 -205 -181 0
60 247 12 0
320 -145 -301 0
136 -116 -264 0
332 52 -106 0
252 289 122 0
-91 108 -266 0
28 337 -324 0
265 104 -245 0
-325 -114 -62 0
226 -254 -87 0
-151 -224 -112 0
-246 251 -26 0
-49 181 325 0
124 217 230 0
-32 277 -105 0
-321 342 -90 0
243 247 307 0
44 298 -289 0
-184 -335 -316 0
-111 143 174 0
50 -228 -8 0
-242 94 -318 0
162 -53 263 0
28 121 -163 0
39 -49 84 0
-244 268 -116 0
-125 -52 187 0
47 -336 254 0
175 124 319 0
-341 -7 -55 0
172 65 -308 0
-263 -33 -214 0
-184 -270 176 0
227 -55 -37 0
-233 174 56 0
211 230 -263 0
95 -215 -68 0
13 311 -338 0
-144 212 -153 0
206 -97 174 0
-244 142 306 0
162 -335 41 0
266 320 3 0
-297 191 238 0
-35 98 -225 0
233 -243 -18 0
-180 -114 125 0
336 -24 115 0
-194 160 79 0
99 -237 -160 0
-150 37 -329 0
-104 -109 -158 0
-193 -178 -258 0
238 -192 283 0
132 -319 -174 0
89 -93 -224 0
-168 316 -112 0
-325 -19 148 0
-327 -174 225 0
225 -178 -260 0
43 -65 204 0
257 -318 -118 0
-317 -193 -267 0
-277 116 -17 0
-238 267 -255 0
-80 70 194 0
50 1 -219 0
-298 -300 200 0
-64 231 186 0
28 346 201 0
-15 -242 -233 0
90 -245 108 0
-209 279 312 0
-218 -112 -159 0
163 165 69 0
-77 -345 175 0
-207 219 -7 0
124 97 -221 0
282 173 157 0
-287 108 -250 0
-205 -189 -122 0
261 -147 -91 0
-266 54 85 0
-160 -108 219 0
-314 101 133 0
190 121 -73 0
-334 -146 -206 0
322 -165 -290 0
8 -327 163 0
-86 -300 -246 0
-254 -137 -144 0
203 117 229 0
-46 -146 244 0
-247 -31 139 0
-254 -123 211 0
171 34 136 0
95 191 192 0
347 274 175 0
147 -249 -206 0
271 -152 -226 0
-162 -226 -225 0
-205 -204 -36 0
-331 -313 -31 0
-123 -215 120 0
-27 266 -23 0
-6 -309 -67 0
-189 208 125 0
-39 -74 335 0
58 -133 -283 0
325 -32 116 0
30 -250 155 0
-49 -208 350 0
-235 334 234 0
132 -178 -165 0
105 -257 46 0
-235 -290 263 0
-151 59 -201 0
-19 -332 109 0
-53 95 -173 0
-103 -225 -141 0
145 -27 14 0
15 150 114 0
213 187 288 0
251 -104 151 0
-56 309 78 0
-94 -338 66 0
-319 -209 -17 0
23 -290 -140 0
-73 -168 296 0
-108 -163 -152 0
-221 344 262 0
-66 -297 244 0
130 -36 272 0
-270 123 -136 0
-36 61 -339 0
-214 -41 255 0
20 139 323 0
-23 -231 -255 0
-83 23 293 0
19 -175 298 0
-279 -297 -37 0
-297 215 125 0
-137 -234 -158 0
-228 -163 165 0
327 115 -86 0
111 77 163 0
98 -84 -165 0
-174 121 -48 0
-238 -342 162 0
-225 68 71 0
-179 66 134 0
25 293 172 0
69 155 79 0
161 196 72 0
-110 -158 -302 0
245 -137 285 0
7 237 -312 0
113 -191 146 0
-202 -125 186 0
-279 209 112 0
209 -31 75 0
-92 -7 -89 0
-1 -31 190 0
244 130 257 0
-45 170 -116 0
81 -5 -50 0
152 -93 -254 0
217 191 -189 0
-220 84 124 0
328 -148 -209 0
-216 305 -82 0
-133 -230 -340 0
66 262 76 0
-327 -22 16 0
30 -130 166 0
22 335 294 0
16 288 72 0
65 -142 243 0
325 142 -251 0
-233 -258 295 0
95 221 98 0
-151 229 -59 0
11 -217 -350 0
-18 73 -148 0
16 -284 82 0
347 -335 215 0
-87 -250 -139 0
-195 -152 -343 0
-47 -76 253 0
184 3 171 0
59 -65 286 0
-170 -216 101 0
-35 -93 -103 0
176 -231 -112 0
-119 25 -234 0
29 -222 -176 0
-105 286 270 0
-74 84 174 0
-342 44 119 0
-125 -312 25 0
-292 -275 -154 0
131 -260 7 0
-101 -244 143 0
161 88 339 0
72 -320 34 0
45 336 47 0
-91 -256 -232 0
338 -132 -180 0
-92 -121 -212 0
-44 -306 -87 0
-304 23 292 0
302 -313 -101 0
317 -263 -128 0
197 244 40 0
-243 -254 94 0
-315 -85 -30 0
-175 300 330 0
-25 -117 -114 0
-236 -276 -203 0
202 126 242 0
-76 -331 -4 0
230 181 -337 0
248 -211 290 0
-49 -300 45 0
102 -293 182 0
-334 -207 335 0
163 170 -205 0
-124 79 136 0
37 96 83 0
126 8 21 0
39 -55 -281 0
-55 190 -109 0
258 56 -314 0
86 130 -164 0
-100 48 -145 0
-213 53 -43 0
-221 320 -113 0
138 -280 347 0
-111 217 125 0
120 163 -268 0
320 -288 192 0
-225 -270 -77 0
291 99 66 0
-56 196 276 0
90 198 -293 0
279 -272 -302 0
344 -287 58 0
317 -86 -258 0
-219 206 -63 0
103 314 -242 0
-95 -54 -308 0
-41 20 157 0
-350 -230 -327 0
210 -104 84 0
-149 327 338 0
257 -201 19 0
-342 238 -183 0
150 7 183 0
-287 -39 134 0
149 -234 66 0
-302 321 112 0
183 273 22 0
-148 -27 307 0
-329 -205 161 0
208 280 -186 0
-120 -221 266 0
328 249 -47 0
-133 -214 -217 0
-13 -281 -228 0
-81 -348 63 0
225 -335 259 0
-77 220 -317 0
80 3 -174 0
-63 50 -151 0
-105 289 116 0
-210 52 -132 0
197 -338 -20 0
-284 49 -135 0
-194 142 115 0
-88 248 -45 0
136 133 78 0
57 100 -236 0
314 -249 -42 0
314 131 -101 0
-178 -43 -301 0
254 -316 -207 0
9 162 288 0
-46 274 -300 0
-267 323 -169 0
-249 248 322 0
-226 -330 308 0
215 163 -340 0
314 128 234 0
143 97 185 0
-192 230 -228 0
-20 314 139 0
324 189 215 0
235 -153 -16 0
224 -12 348 0
-307 43 343 0
172 225 263 0
327 291 195 0
-10 -320 164 0
43 57 -14 0
15 13 -67 0
-143 -236 -304 0
165 263 326 0
-302 288 205 0
-279 158 -130 0
24 150 7 0
34 -53 -50 0
266 -304 324 0
-199 -81 293 0
-37 -350 75 0
-320 234 106 0
313 -158 -310 0
184 151 -164 0
-320 -100 -92 0
348 -19 -237 0
188 -304 -52 0
-79 182 202 0
247 -106 222 0
116 -170 -139 0
-53 -262 -242 0
-241 181 -34 0
284 -104 -340 0
-78 -216 -118 0
246 -317 315 0
-45 103 320 0
-216 32 -3 0
55 -73 -217 0
142 -200 206 0
215 304 -60 0
96 -167 -76 0
70 -47 6 0
-293 201 -176 0
-63 254 -298 0
-346 -161 194 0
336 110 -145 0
-255 -229 222 0
-153 -252 -203 0
27 245 -306 0
189 110 -269 0
-192 -314 263 0
-171 -77 -111 0
105 -239 205 0
-6 82 317 0
-225 -315 112 0
-139 58 61 0
-7 120 -73 0
-90 4 79 0
188 -87 36 0
-43 -194 -99 0
-280 -122 -44 0
-184 193 90 0
-141 305 -341 0
-2 -142 -222 0
-269 -204 259 0
-165 -109 241 0
145 -122 316 0
232 -285 204 0
273 -122 318 0
-327 -27 211 0
283 -267 -247 0
-40 -67 -77 0
-163 -164 170 0
-117 212 272 0
-39 -285 218 0
340 196 228 0
109 52 332 0
-15 144 122 0
144 -271 305 0
63 98 -237 0
-246 176 7 0
57 -111 263 0
-179 -50 -231 0
168 207 -318 0
133 -335 -344 0
-44 -270 -135 0
-26 -273 -228 0
-188 -15 -243 0
-317 -205 -281 0
101 -259 -111 0
21 -209 346 0
218 -259 -292 0
323 -157 -106 0
93 -131 260 0
-15 -76 260 0
-342 299 -65 0
96 -169 -154 0
-192 -33 93 0
-230 -169 -117 0
-14 190 294 0
3 -103 -323 0
257 135 62 0
345 120 261 0
169 -227 165 0
-129 -230 169 0
-92 80 -150 0
-149 344 145 0
249 335 92 0
-37 173 203 0
181 8 -12 0
292 238 210 0
-265 17 163 0
-121 -40 145 0
-304 -113 9 0
205 -163 297 0
-94 -45 -208 0
-191 -274 118 0
-141 235 -320 0
328 -187 298 0
34 29 -213 0
-154 -328 -173 0
111 -201 -171 0
-127 158 57 0
-197 283 -17 0
178 85 215 0
295 230 -78 0
-311 229 -272 0
34 -64 75 0
268 53 209 0
184 -239 -326 0
-339 161 -31 0
10 7 -88 0
-183 161 257 0
-320 265 138 0
-293 285 -266 0
263 346 -20 0
21 116 43 0
-113 81 224 0
-76 225 238 0
116 74 -136 0
-295 102 -85 0
7 335 -165 0
-332 -181 308 0
-274 129 45 0
251 262 78 0
-317 251 -303 0
209 -192 -262 0
181 75 280 0
-118 25 283 0
-230 -342 -39 0
-215 -126 69 0
219 -272 -218 0
-323 151 100 0
237 99 -53 0
-187 311 -338 0
-324 -164 -257 0
-43 -16 10 0
-196 10 -3 0
35 90 91 0
-134 -290 265 0
-52 -36 97 0
166 -201 109 0
-159 274 -79 0
-310 279 -183 0
173 -328 -215 0
-58 321 -177 0
-298 -254 -318 0
280 197 157 0
44 261 158 0
-259 -66 177 0
330 215 -120 0
194 -127 -9 0
-314 -280 -107 0
-17 -301 60 0
272 6 -119 0
170 -169 -217 0
275 -16 265 0
55 131 28 0
8 135 -194 0
-111 -42 90 0
-291 215 -174 0
11 292 -195 0
-236 -277 -263 0
-273 -106 -34 0
168 -336 -286 0
-309 -122 225 0
319 -151 -208 0
134 98 193 0
155 82 327 0
-79 229 -300 0
113 124 -229 0
-156 139 176 0
-58 295 -200 0
31 -85 -154 0
203 -1 -213 0
121 198 28 0
-46 170 -87 0
-280 230 -257 0
184 -55 185 0
-73 189 -319 0
52 191 -133 0
-130 -208 -283 0
-302 343 190 0
169 -246 252 0
-167 -47 232 0
-3 -320 -292 0
131 181 -149 0
-241 -270 -260 0
148 127 -299 0
-341 -86 -12 0
-341 -228 306 0
-48 240 -75 0
-144 -141 -251 0
253 -325 4 0
260 -29 -228 0
-110 -196 301 0
-76 -5 235 0
-337 -71 -239 0
83 -77 188 0
-26 -38 -334 0
41 237 331 0
300 -115 -344 0
-247 -233 35 0
135 -102 131 0
214 288 -223 0
-270 41 -100 0
271 -266 97 0
-151 -322 143 0
232 297 137 0
255 -171 -307 0
-40 345 191 0
141 134 191 0
154 -55 -118 0
-196 117 347 0
118 -290 174 0
-278 76 -187 0
324 311 -103 0
29 184 -231 0
24 -222 -277 0
-257 -173 278 0
-73 334 -8 0
-329 -291 -177 0
-301 -15 148 0
-287 345 -88 0
50 -350 -77 0
-284 -112 319 0
53 -113 138 0
4 182 -108 0
-328 -132 330 0
310 -218 -53 0
-11 -212 -222 0
266 35 -118 0
147 331 -32 0
-284 29 153 0
-118 -345 -121 0
195 274 -238 0
252 313 -335 0
241 247 271 0
223 118 93 0
23 -14 2 0
181 216 -43 0
264 233 -132 0
63 -338 -12 0
294 -37 -21 0
204 -279 340 0
-11 -295 -176 0
197 -234 229 0
234 228 -197 0
-270 -10 -188 0
21 -248 242 0
29 -242 146 0
19 -111 300 0
62 280 -349 0
65 -324 -174 0
293 107 2 0
-71 -208 -314 0
141 176 193 0
241 296 -82 0
-282 -323 -204 0
152 93 7 0
194 297 -293 0
-277 -227 -226 0
-8 -75 45 0
-53 201 39 0
230 298 26 0
22 322 206 0
287 26 245 0
175 -24 -135 0
330 -217 40 0
76 34 255 0
-109 -184 -35 0
22 -202 -36 0
157 286 164 0
97 243 308 0
-247 -222 105 0
50 -101 179 0
136 -338 -339 0
104 184 272 0
233 -40 -328 0
-114 -189 135 0
164 -267 145 0
309 68 -95 0
335 -201 -73 0
-290 -325 119 0
-141 -13 -317 0
182 48 201 0
-263 328 -29 0
324 -279 -110 0
-10 66 -176 0
323 -268 -127 0
206 345 8 0
-295 -185 -73 0
324 41 -128 0
-206 -282 223 0
218 250 21 0
-340 200 -253 0
252 -77 297 0
21 42 312 0
242 144 197 0
-68 -5 -45 0
-130 62 -76 0
344 -300 119 0
-101 -139 -306 0
50 -250 -110 0
151 -237 -214 0
290 187 -295 0
-7 199 -114 0
-255 251 128 0
-9 260 -147 0
-239 -230 -299 0
-109 -214 -319 0
-325 242 337 0
-147 -201 7 0
-204 34 -108 0
-85 192 -219 0
-90 231 -348 0
-100 284 -88 0
-250 238 11 0
121 180 -76 0
81 -270 306 0
-50 -118 -105 0
-167 -104 -347 0
-270 -308 117 0
-214 -99 300 0
-90 2 -93 0
-215 -63 -198 0
-133 301 -53 0
-293 -183 155 0
-318 340 -229 0
291 -156 304 0
77 155 -129 0
-135 136 32 0
-118 -26 -186 0
60 342 134 0
152 -184 -316 0
124 -11 -84 0
63 -350 -28 0
-192 328 -200 0
111 -279 195 0
155 4 -259 0
-308 280 -184 0
70 291 3 0
331 277 19 0
82 89 -330 0
-88 306 -113 0
-102 158 -227 0
329 -325 -235 0
62 144 -297 0
227 -331 -128 0
-21 155 -338 0
152 -23 153 0
40 12 58 0
-110 329 21 0
163 9 -254 0
-341 330 -205 0
-182 -268 109 0
-215 144 -117 0
246 87 -324 0
30 -200 52 0
164 237 -289 0
-261 -107 -194 0
-174 -110 145 0
-278 308 -102 0
-30 99 -292 0
60 -182 66 0
-136 51 -264 0
118 191 -185 0
85 -247 -339 0
158 -21 -333 0
-342 258 -251 0
173 217 318 0
-193 321 283 0
304 302 198 0
46 261 -268 0
-328 -272 203 0
-140 41 -7 0
206 53 -273 0
-242 18 -346 0
-342 -284 184 0
-207 -56 76 0
326 111 -77 0
-275 -177 -62 0
165 88 -309 0
200 288 276 0
-108 -173 66 0
305 155 185 0
-208 31 -285 0
104 83 -219 0
161 166 124 0
-235 146 312 0
144 348 150 0
-70 -261 -251 0
-106 240 -156 0
127 -200 -191 0
295 -142 90 0
-113 -145 29 0
8 172 -61 0
-319 -214 280 0
-322 154 -198 0
247 113 36 0
-83 61 -227 0
-75 348 205 0
105 21 53 0
216 -310 200 0
19 -167 259 0
-229 -31 332 0
-319 185 295 0
198 301 -29 0
41 114 217 0
-235 -216 -114 0
349 -208 300 0
106 -251 347 0
16 284 230 0
-176 315 -119 0
-45 281 347 0
-220 -8 169 0
315 -344 113 0
-344 100 -148 0
-137 -346 207 0
101 175 -256 0
-235 -262 -228 0
111 -222 -252 0
91 186 206 0
-41 93 -111 0
-188 -234 227 0
-262 50 95 0
310 172 -295 0
160 35 -125 0
349 328 -60 0
-306 103 -302 0
-270 350 -226 0
144 -335 8 0
70 224 -127 0
209 152 -203 0
301 118 271 0
23 47 -38 0
57 -16 -181 0
-98 -28 333 0
-34 275 183 0
-205 -229 293 0
-30 -164 -58 0
81 -269 44 0
50 -257 170 0
223 220 -218 0
-32 -277 -322 0
286 302 -232 0
260 -2 7 0
277 193 301 0
-25 198 -32 0
206 -158 -233 0
182 -323 1 0
122 170 -48 0
-346 138 143 0
-271 -88 132 0
229 -78 151 0
151 190 -25 0
135 -216 -133 0
8 148 107 0
-200 118 -146 0
-46 298 -121 0
-224 -170 227 0
107 209 -76 0
17 54 -138 0
-254 -108 -227 0
-321 -249 -145 0
272 218 -234 0
220 -78 29 0
192 31 188 0
36 240 153 0
241 190 -88 0
-334 149 -277 0
123 227 158 0
299 -270 267 0
-192 -162 166 0
289 157 70 0
19 -96 36 0
-153 -160 -46 0
-141 240 130 0
62 -276 -257 0
123 104 277 0
-225 237 -13 0
-311 -97 -121 0
-200 -45 55 0
326 -329 251 0
-221 -275 235 0
-160 -180 40 0
302 275 -335 0
-111 -238 242 0
210 1 274 0
-337 272 83 0
-45 96 140 0
197 -196 198 0
277 8 265 0
8 349 -190 0
278 332 308 0
-284 -264 16 0
-345 -233 254 0
-41 -133 12 0
254 57 329 0
-216 8 -271 0
-171 -61 49 0
-80 -309 -271 0
-218 216 175 0
-38 -32 96 0
-309 108 278 0
37 -269 -5 0
11 225 -323 0
-104 295 -312 0
321 246 -198 0
-118 -130 -223 0
266 -146 118 0
-193 -124 108 0
-38 29 -127 0
190 74 -203 0
-342 207 139 0
-65 86 -17 0
-48 32 262 0
131 240 83 0
-259 108 40 0
-317 -22 -233 0
-239 -151 -21 0
-274 305 -29 0
-281 -33 26 0
236 118 -133 0
-255 12 160 0
229 -331 140 0
132 19 -257 0
124 7 -88 0
-3 85 192 0
-216 -70 321 0
-256 180 44 0
58 -329 146 0
-233 204 39 0
27 -195 -263 0
-284 -220 -82 0
-139 -312 -20 0
21 -346 85 0
-202 -232 -249 0
-130 36 267 0
-196 -209 -161 0
226 341 -237 0
-236 287 -51 0
172 -78 48 0
18 -316 -302 0
-255 73 51 0
126 -5 216 0
274 -226 171 0
-103 41 -105 0
-194 169 334 0
215 -271 -213 0
-336 -65 -288 0
64 -193 48 0
121 328 317 0